Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « M. Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
M. Roux < M. Rusinowitch < M. Ruth Pazos  Facettes :

List of bibliographic references indexed by M. Rusinowitch

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
006182 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
00C229 (1995) A. Bouhoula ; M. RusinowitchSPIKE User Manual
00C372 (1995) A. Bouhoula ; M. RusinowitchImplicit Induction in Conditional Theories
00C380 (1995) E. Kounalis ; M. RusinowitchReasoning with Conditional Axioms
00C382 (1995) E. Monfroy ; M. Rusinowitch ; R. SchottImplementing Non-Linear Constraints with Cooperative Solvers
00C407 (1995) G. Kucherov ; M. RusinowitchComplexity of testing ground reducibility for linear word rewriting systems with variables
00C459 (1995) G. Kucherov ; M. RusinowitchUndecidability of Ground Reducibility for Word Rewriting Systems with Variables
00C482 (1995) A. Bouhoula ; E. Kounalis ; M. RusinowitchAutomated Mathematical Induction
00CA63 (1994) E. A. Cichon ; M. Rusinowitch ; S. SelhabCut Elimination in Sequent Calculus and Rewriting
00CA74 (1994) G. Kucherov ; M. RusinowitchThe Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables
00CB43 (1994) G. Kucherov ; M. RusinowitchOn Ground-Reducibility Problem for Word Rewriting Systems with Variables
00CB59 (1994) J.-L. Rémy ; M. RusinowitchSpecial Issue on Conditional Term Rewriting Systems
00CE33 (1993) M. Chtourou ; M. RusinowitchMéthode transformationnelle pour la preuve de terminaison des programmes logiques
00CF97 (1993) A. Bouhoula ; M. RusinowitchAutomatic Case Analysis in Proof by Induction
00CF98 (1993) A. Bouhoula ; M. RusinowitchAutomatic Case Analysis in Proof by Induction
00D044 (1993) A. Bouhoula ; M. RusinowitchImplicit Induction on the Computer
00D045 (1993) P. Narendran ; M. RusinowitchThe Unifiability Problem in Ground AC Theories
00D060 (1993) A. Bouhoula ; M. RusinowitchCase Analysis for Implicit Induction
00D102 (1993) B. El Ayeb ; P. Marquis ; M. RusinowitchPreferring Diagnoses by Abduction
00D335 (1992) A. Bouhoula ; E. Kounalis ; M. RusinowitchSPIKE, An Automatic Theorem Prover
00D467 (1992) J. Hsiang ; H. Kirchner ; Pierre Lescanne [France] ; M. RusinowitchThe Term Rewriting Approach to Automated Theorem Proving

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "M. Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "M. Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    M. Rusinowitch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022